latest 12 messages by sm[m]
+
[2020-06-21T17:32:30Z]
sm[m]
haha, found it: git push origin :refs/tags/refs/heads/master
+
[2020-06-21T17:31:22Z]
sm[m]
I wonder what's another way to delete this tag on github
+
[2020-06-21T17:29:27Z]
sm[m]
Now unfortunately I found another bogus tag, this time named "refs/heads/master". This one I can't delete remotely by either of those push commands
+
[2020-06-21T17:28:08Z]
sm[m]
I deleted it with git push origin :refs/heads/1.18 (since git push -d origin :refs/heads/1.18 fails, "matches more than one"). And I deleted the tag locally, which was recreating it on push.
+
[2020-06-21T17:26:52Z]
sm[m]
well, not quite.
+
[2020-06-21T17:15:23Z]
sm[m]
sanity restored
+
[2020-06-21T17:12:39Z]
sm[m]
jhass: thank you very much! I was looking for that in the tags list and couldn't find it
+
[2020-06-21T17:11:45Z]
sm[m]
but all works normally if I rename the branch to one-point-eighteen-branch
+
[2020-06-21T17:08:59Z]
sm[m]
while doing a similar push in magit fails with "error: src refspec refs/heads/1.18-branch matches more than one."
+
[2020-06-21T17:07:59Z]
sm[m]
git push origin 1.18-branch -v -> "Pushing to git@github.com:simonmichael/hledger.git" -> successful. But I don't see the branch on github - https://github.com/simonmichael/hledger/branches/all?query=1.18 . What am I doing wrong ?
+
[2020-06-21T14:07:45Z]
sm[m]
jhass, thanks. I've decided I like this naming after all, and will call the branch "1.18-branch"
+
[2020-06-21T01:37:21Z]
sm[m]
g'day all. I made a github release with a signed tag named 1.18. I forgot I use that naming for release branches, so I'd like to rename the tag to r1.18. Would you know if I can do this, without messing up the github release ?